Testing and Monitoring Model-based Generated Program

Testing and Monitoring Model-based Generated Program

We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the...

Model-based Testing on Generated C Code

Software mutation testing: towards combining program and model based techniques

The paper is devoted to the mutation testing technique that is widely used when testing different software tools. A short survey of existing methods and tools for mutation testing is presented in the paper. We classify existing methods: some of them rely on injecting bugs into a program under test while other use a formal model of the software in order to inject errors. We also provide a short ...

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

Run-time monitoring for model-based testing of distributed systems

Modern enterprise systems are highly distributed and heterogeneous. Apart from the latest attempts on leveraging distributed systems with SOA and SOA-like enterprise integration systems, testing still represents a major challenge. This paper discusses practical approach for managing the testing process for distributed systems based on transparent test environment, run-time monitoring of interac...